Extracting Computer Algebra Programs from Statements
Jes´ us Aransay1, Clemens Ballarin2 , and Julio Rubio1 1

Source URL: www21.in.tum.de

Submission for IFLFlipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ

Source URL: gbaz.github.io

• Software engineering
• Computer programming
• Category theory
• Algebra
• Functional programming
• Higher-order functions
• Programming language comparisons
• Adjoint functors
• Monad
• Functor
• Fold
• Map

On polynomial systems arising from a Weil descent Based on joint works with JC Faug`ere, JJ Quisquater, L Perret, G Renault Christophe Petit

Source URL: caramba.loria.fr

• Mathematics
• Polynomials
• Algebra
• Equations
• Applied mathematics
• Computer algebra
• Cryptanalysis
• System of polynomial equations
• Data Encryption Standard
• Algebraic equation
• Crypto

Fast Randomized Kernel Ridge Regression with Statistical Guarantees∗ Ahmed El Alaoui † Michael W. Mahoney ‡ † Electrical Engineering and Computer Sciences ‡ Statistics and International Computer Science Institu

Source URL: www.stat.berkeley.edu

• Algebra
• Linear algebra
• Mathematics
• Matrix theory
• Numerical linear algebra
• Functional analysis
• Mathematical physics
• Normal distribution
• Low-rank approximation
• Eigendecomposition of a matrix
• Eigenvalues and eigenvectors
• Matrix

Teaching an Introductory Linear Algebra Course Rob Beezer Department of Mathematics and Computer Science University of Puget Sound

Source URL: buzzard.ups.edu

Six Questions to Ask About Licensing and Pricing Flexible Licensing and Clear, Up Front Pricing When we were starting Gurobi we heard from many people about their frustrations with companies that not only make it hard to

Source URL: www.gurobi.com

• Numerical analysis
• Mathematical optimization
• Mathematical software
• Software
• Computer algebra systems
• Mathematical modeling
• Gurobi
• Numerical software
• AMPL
• Sol
• License manager
• Free software

Thread boosting and polynomial factorization in NTL Victor Shoup October 21, 2015 As of version 9.5.0, NTL provides a thread boosting feature. With this feature, certain code within NTL will use available threads to spee

Source URL: www.shoup.net

• Parallel computing
• Algebra
• Polynomials
• Computer algebra
• Arithmetic
• Factorization of polynomials
• Multi-core processor
• Factorization
• Speedup

Solving efficiently structured polynomial systems and Applications in Cryptology Jean-Charles Faugère Joint work with: L. Huot

Source URL: ecc2011.loria.fr

• Computer algebra
• Algebraic geometry
• Polynomials
• Algebra
• Commutative algebra
• Grbner basis
• Monomial order
• System of polynomial equations
• Resultant
• Monomial
• Lexicographical order
• Jean-Charles Faugre

IDEALIZATION OF MODULES IN COMPUTER ALGEBRA MARTIN KREUZER AND LORENZO ROBBIANO Abstract. Based on an explicit description of the idealization of a graded submodule of a graded free module, we examine the behaviour of Gr

Source URL: www.symbcomp.fim.uni-passau.de

• Ring theory
• Algebras
• Linear algebra
• Graded ring
• Graded
• Resolution

Posters at ADPatrick E. Farrell (Department of Earth Science and Engineering, Imperial College London, UK): Automating the adjoint of finite element discretisations In this work we demonstrate the capability of

Source URL: www.autodiff.org

• Mathematics
• Mathematical analysis
• Academia
• Operations research
• Differential calculus
• Automatic differentiation
• Computer algebra
• Applied mathematics
• Numerical analysis
• Finite element method
• Mathematical optimization
• Linear programming